high-confidence 相关硕士博士期刊学术论文

提出了一个开放环境特性描述框架．该框架支持便捷地、形式化地描述异步环境的各种特性，包括那些既有技术不能处理的时序特性．该框架还......